Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Recent articles in Religious Studies have underscored the questions of whether Buddhism presents any empirical doctrines, and whether, if it does, such doctrines are false or vacuous. In what follows I want to sketch an interpretation of Buddhism according to which it does not offer doctrines which are empirically false, on the one hand, or trivially true on the other. In doing so I take my cue from an earlier, and by now classic, paper by H. H. Price. For the (...) exposition of Buddhism I take the Pali Nikāyas, the single most significant collection of texts in the Buddhist tradition. The particular doctrine which is the focus of discussion here is the kammavāda or ‘karma view’ of early Indian Buddhism, for it is the focus of much of the recent literature cited above and a doctrine which some have thought amenable to statement in empirical terms. (shrink)

Geannoteerde briefwisseling van de twee geleerden over het vraagstuk van de evolutie.

In response to a suggestion in the Class. Rev. , the two MSS. of the Liber Glossarum preserved at Tours have recently been examined. Since they had not been seen by Goetz when he published his excerpts, the following short descriptions may be added to the introduction of Vol. V. of the Corpus Glossariorum Latinorum: 1. Tours, Bibliothèque de Ville, MS. No. 850; end of the ninth century; foll. 493, of which 1, 491, 492 are mere corners; cmm. 49 by (...) 29. The last item is an Isidore gloss, Zatenen.-gemmam. Gaps due to loss of folia occur between Abiectus and Abdolet; Dextera manus and Dialogus; Faber and Impulitum; Res diuinae and Samsacus. There are no corrections except between folia 197 and 300, where a thirteenth-century hand has checked the MS. by means of another copy of the Lib. Gloss. The items are drawn up in two columns, and the alphabetical arrangement agrees for the most part with that of Vat. Pal. lat. 1773. Marginal indications of the sources of the items are numerous except between Profanum and Remeantes; where two or three neighbouring items come from the same source, the marginal mark is repeated; and towards the end of the MS., where the scribe takes to writing two items in the same line, the indication is also carefully transferred. This is important in view of Goetz' theory that the source of an unlabelled item is that given by the last preceding label. (shrink)

In Corp. Gloss. Lat. V. 435–490 Goetz published excerpts from the A A glossary. Further interesting items were published by C. Theander in Eranos XXIII 51–61, 167–176. The complete glossary is now being prepared for the press, and Professor W. M. Lindsay has kindly communicated to me some of the new items which may possibly contain quotations from classical authors. The most interesting of them is the following: MA 2 ‘Mabortia res quae ad pugnam pertinet unde moenia funduntur vel res (...) Martia.’. (shrink)

In this paper, we give an example of a complete computable infinitary theory T with countable models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ and T has no uncountable model. In fact, ${\mathcal{M}}$ and ${\mathcal{N}}$ are (up to isomorphism) the only models of T. Moreover, for all computable ordinals α, the computable ${\Sigma_\alpha}$ part of T is hyperarithmetical. It follows from a theorem of Gregory (JSL 38:460–470, 1972; Not Am Math Soc 17:967–968, 1970) (...) that if T is a Π 1 1 set of computable infinitary sentences and T has a pair of models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ , then T would have an uncountable model. (shrink)

‘Hoplites are troops who take their name from their shields’. ‘The individual infantryman took his name, hoplites, from the hoplon or shield’. Such is the orthodox view. This paper will endeavour to show that its basis is inadequate. Rather, we shall argue, hoplites took their name from their arms and armour as a whole, their hopla in that all-encompassing sense; so that the original and essential meaning of the word hoplite was nothing more than ‘armed man’.

This work presents an hydrodynamical model of heat stroke, which is a physiopathological state of stress, due to an exposure of animals to an ambient temperature of approximatively 40°C during two hours. The evolution of body temperature during this stress process is characterised by three phases. A first phase of increase is followed by a plateau which occurs before a second phase of increase which can be lethal. The model is based on the analogy of a boat progressively caught in (...) a whirlpool. The evolution of the degree of freedom lost by the boat is mathematically analysed and this study leads to the same three phases. The theoretical curves calculated during this study are well in agreement with the experimental curves obtained with animals. This analogy is compared to a previous one which has been made during another experiment with animals constrained by chemical intoxications. It seems that stress can be considered as a vital vorticity and that hydrodynamic models are powerful tools in understanding this physiopathological state. (shrink)